| 翻訳と辞書 | axiom of pairing| axiom of pairing  : ウィキペディア英語版 | 
 
 In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory.
 == Formal statement ==
 In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:
 :
 or in words:
 :Given any set ''A'' and any set ''B'', there is a set ''C'' such that, given any set ''D'', ''D'' is a member of ''C'' if and only if ''D'' is equal to ''A'' or ''D'' is equal to ''B''.
 or in simpler words:
 :Given two sets, there is a set whose members are exactly the two given sets.
 
 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』
 ■ウィキペディアで「axiom of pairing」の詳細全文を読む
 
 
 
 スポンサード リンク
 
 | 翻訳と辞書 : 翻訳のためのインターネットリソース | 
 | Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
 
 | 
 |